Cournot Maps for Intercepting Evader Evolutions by a Pursuer

Instead of studying evolutions governed by an evolutionary system starting at a given initial state on a prescribed future time interval, finite or infinite, we tackle the problem of looking both for a past interval [T − D, T ] of aperture (or length, duration) D and for the viable evolutions arriving at a prescribed terminal state at the end of the temporal window (and thus telescoping if more than one such evolutions exist). Hence, given time and duration dependent evolutionary system and viability constraints, as well as time dependent departure constraints, the Cournot map associates with any terminal time T and state x the apertures D(T, x) of the intervals [T − D(T, x), T ], the starting (or initial) states at the beginning of the temporal window from which at least one viable evolution will reach the given terminal state x at T . Cournot maps can be used by a pursuer to intercept an evader’s evolution in dynamic game theory. After providing some properties of Cournot maps are next investigated, above all, the regulation map piloting the viables evolutions at each time and for each duration from the beginning of the temporal window up to terminal time. The next question investigated is the selection of controls or regulons in the regulation map whenever several of them exist. Selection processes are either time dependent, when the selection operates at each time, duration and state for selecting a regulon satisfying required properties (for instance, minimal norm, minimal speed), or intertemporal. In this case, viable evolutions are required to optimize some prescribed intertemporal functional, as in optimal control. This generates value functions, the topics of the second part of this study. Mathematics Subject Classification: 34A60, 90B10, 90B20, 90B99, 93C10, 93C30, 93C99 VIMADES (Viabilité, Marchés, Automatique, Décisions), 14, rue Domat, 75005, Paris, France [email protected], http://vimades.com/aubin/ Acknowledgments This work was partially supported by the Commission of the European Communities under the 7th Framework Programme Marie Curie Initial Training Network (FP7-PEOPLE-2010-ITN), project SADCO, contract number 264735 and ANR-11-ASTRID-0041-04. Université Panthéon-Sorbonne and Société VIMADES (Viabilité, Marchés, Automatique et Décision), e-mail: [email protected] ha l-0 09 18 96 4, v er si on 2 6 Ja n 20 14